Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based
نویسندگان
چکیده
Most of AI research on temporal reasoning has been devoted to either exploring constraint-based temporal deduction techniques or investigating diverse logics extended with time. Nevertheless the formal study of deductive systems for such temporal extended logics has received little attention. This paper presents a general framework for temporal reasoning in knowledge-based systems resulting from embedding a temporal reasoner into a general calculus. From a representa-tional point of view it is based on the notions of temporal token and temporal constraint. The logic is formally deened as a particular many-sorted predicate calculus and provided with an complete and sound inference system composed of non-temporal and temporal inference rules. Moreover, a deductive procedure is presented and analyzed. It is a general forward chaining algorithm for which soundness and completeness are guaranteed.
منابع مشابه
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملRepresentation of Temporal Knowledge in the Situation Calculus
In this article we deal with the problem of using temporal knowledge in the specification of the dynamics of a database. Temporal knowledge is formalized with formulas that refer to the evolution of the database. In the article we analyze several problems involving temporal knowledge: (1) Specification of complex temporal preconditions for database transactions. (2) Specification and maintenanc...
متن کاملTemporal Aspects of Knowledge and Information
The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning...
متن کاملPeople detection through quantified fuzzy temporal rules
The knowledge about the position and movement of people is of great importance in mobile robotics for implementing tasks such as navigation, mapping, localization, or human–robot interaction. This knowledge enhances the robustness, reliability and performance of the robot control architecture. In this paper, a pattern classifier system for the detection of people using laser range finders data ...
متن کاملTemporal Reasoning with Abductive Event Calculus
We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main diierence between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by applying it to planning and solving well...
متن کامل